Supporting Unit Test Generation via Automated Isolation
نویسندگان
چکیده
منابع مشابه
Automated Test Generation
Testing remains the principal means of verification in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss some of the research challen...
متن کاملAutomated Test Generation with SAL
We describe sal-atg, a tool for automated test generation that will be distributed as part of the next release of SAL. Given a SAL specification augmented with Boolean trap variables representing test goals, sal-atg generates an efficient set of tests to drive the trap variables to TRUE; SAL specifications are typically instrumented with trap variables representing structural coverage criteria ...
متن کاملAutomated Software Test Data Generation
Abstracr-Test data generation in program testing is the process of identifying a set of test data which satisfies given testing criterion. Most of the existing test data generators 161, [It], [lo], [16], [30] use symbolic evaluation to derive test data. However, in practical programs this technique frequently requires complex algebraic manipulations, especially in the presence of arrays. In thi...
متن کاملEffort Reduction of Unit Testing by Supporting CFG Generation and its Test Design
The popularity of Agile Development has been increasing over the last several years. Many Agile techniques include unit testing as a basic activity. Unit testing has two characteristics: it is performed by programmers, and it is normally based on source code structures. However, the problem arises that programmers are unlikely to design structure-based tests. Test design process draws graphs th...
متن کاملGUI Testing and Automated Test Generation
The reader is introduced to the concept of automated regression tests in general as well as testing of Graphical User Interfaces (GUIs) in particular. Some of the special problems related with the latter kind of tests are described. We then proceed to describe a special tool to help covering the enormous test space usually connected with complex GUIs: the PATHS tool, originally proposed in [1]....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Periodica Polytechnica Electrical Engineering and Computer Science
سال: 2017
ISSN: 2064-5279,2064-5260
DOI: 10.3311/ppee.9768